package tests;

import dk.brics.automaton.RegExp;
import network.Device;
import network.Network;
import verifier.Property;

import java.util.HashSet;

public class PropertyConstructor {
    public HashSet<Property> getAllPairReachability(Network network) {
        HashSet<Property> properties = new HashSet<>();
        for(Device i : network.getDevicesWithoutDefault()) {
            for (Device j : network.getDevicesWithoutDefault())
                if (i != j){
                    RegExp regExp = new RegExp(i.getName() + ".*" + j.getName());
                    properties.add(new Property(i, regExp));
                }
        }
        return properties;
    }
}
